Documentation for infix (<), infix ⊂ assembled from the following types:

language documentation Sets, bags, and mixes

From Sets, bags, and mixes

(Sets, bags, and mixes) infix (<), infix ⊂

Returns True if $a is a strict subset of $b, else False. More information, Wikipedia definition.